<header>Default log file</header>

The default log file.
<hr>
